Một tập hợp có dạng

L c − ( f ) = { ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) ≤ c } {\displaystyle L_{c}^{-}(f)=\left\{(x_{1},\cdots ,x_{n})\,\mid \,f(x_{1},\cdots ,x_{n})\leq c\right\}}

được gọi là tập dưới mức của f. Một tập dưới mức ngặt của f có dạng

{ ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) < c } {\displaystyle \left\{(x_{1},\cdots ,x_{n})\,\mid \,f(x_{1},\cdots ,x_{n})<c\right\}}

Tương tự

L c + ( f ) = { ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) ≥ c } {\displaystyle L_{c}^{+}(f)=\left\{(x_{1},\cdots ,x_{n})\,\mid \,f(x_{1},\cdots ,x_{n})\geq c\right\}}

được gọi là một tập trên mức của f.[1] Và tương tự, một tập trên mức ngặt của f có dạng

{ ( x 1 , ⋯ , x n ) ∣ f ( x 1 , ⋯ , x n ) > c } {\displaystyle \left\{(x_{1},\cdots ,x_{n})\,\mid \,f(x_{1},\cdots ,x_{n})>c\right\}}